Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
531	34301_Showpost12pp_22398_Showpost[removed]:56 Page 1 SHOW POST A Magazine for the Members, Competitors, Exhibitors, Traders and Supporters of the & Add to Reading List Source URL: www.gillshaftshow.co.uk Language: English - Date: 2013-05-29 05:23:23 Modal logic Non-classical logic Philosophical logic
532	Possession as Linear Knowledge Frank Pfenning Carnegie Mellon University Pittsburgh, Pennsylvania, U.S.A. [removed] Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiag Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-05-18 11:34:24 Non-classical logic Mathematics Artificial intelligence Logic programming Substructural logic Epistemic modal logic Epistemology Frank Pfenning Linear logic Logic Branches of philosophy Science
533	Computational Logic as a Dual Process Model of Thought Bob Kowalski Imperial College London 10 February[removed]Abstract In the dual process model of thinking, developed in Cognitive Psychology, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-12 15:24:01 Reasoning Non-classical logic Programming paradigms Interdisciplinary fields Logic programming Abductive logic programming Knowledge representation and reasoning Robert Kowalski Computational intelligence Science Logic Knowledge
534	Possession as Linear Knowledge Frank Pfenning [with Deepak Garg, Henry DeYoung, and Michael Ashley-Rollman] Department of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-07-15 09:34:10 Mathematics Non-classical logic Artificial intelligence Epistemic modal logic Modal logic Epistemology Authorization Linear logic Axiom Logic Mathematical logic Branches of philosophy
535	Artificial Intelligence and Human Thinking Robert Kowalski Imperial College London United Kingdom [removed] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-05-10 03:51:12 Mathematical logic Non-classical logic Reasoning Abductive logic programming Epistemology Reason Modal logic Robert Kowalski Intelligent agent Logic Logic programming Science
536	Williamson’s Many Necessary Existents∗ Theodore Sider Analysis[removed]): 50–58 This note is to show that a well-known point about David Lewis’s (1986) Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:36 Non-classical logic Philosophical logic Metalogic Model theory First-order logic Modal logic Infinitary logic Entailment Cardinal number Logic Mathematical logic Predicate logic
537	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
538	Partee, Barbara H[removed]Teaching formal semantics. In Teaching Linguistics: Reflections on Practice, ed. Koenraad Kuiper, [removed]London: Equinox Publishing. (Prepublication final draft before typesetting and proofreadin Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2011-05-31 12:14:20 Science Formal languages Grammar Meaning Non-classical logic Montague grammar Formal semantics Intensional logic Modal logic Semantics Logic Linguistics
539	Artificial Intelligence Artificial Intelligence[removed]101 An abstract, argumentation-theoretic to default reasoning Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-24 04:12:43 Non-classical logic Logical consequence Philosophical logic Non-monotonic logic Default logic Autoepistemic logic Negation as failure Stable model semantics Entailment Logic Mathematical logic Logic programming
540	~ LnKTAZI£U 9~ ~Ed~ Robert K~als~i Department o f Cclpuing Imperial College Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:26 Non-classical logic Philosophical logic Model theory Predicate logic Formal languages First-order logic Modal logic Interpretation Fuzzy logic Logic Mathematical logic Mathematics

UPDATE